girl definition